docker run -it --rm --name pintos --mount type=bind,source=path/to/pintos/src,target=/home/PKUOS/pintos pkuflyingpig/pintos bash